Listing 1 - 10 of 160 << page
of 16
>>
Sort by

Periodical
Proceedings
Authors: ---
ISSN: 21578117 Year: 1991 Publisher: New York, NY : IEEE

Loading...
Export citation

Choose an application

Bookmark

Abstract

Information dynamics
Authors: ---
ISBN: 0306439123 9780306439124 Year: 1991 Publisher: New York: Plenum,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Uncertainty in artificial intelligence. 6
Author:
ISBN: 0444892648 9780444892645 Year: 1991 Publisher: Amsterdam: North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Ensemble d'invariants pour les produits croisés de Anzai
Authors: --- --- ---
ISBN: 2856290159 Year: 1991 Publisher: Paris

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Logical frameworks
Authors: ---
ISBN: 0511569807 Year: 1991 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.


Book
Modeling system operators affecting the information organizer of an individual
Author:
ISBN: 9514557735 Year: 1991 Publisher: Helsinki University of Helsinki. Department of education

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Wissensrepräsentation
Author:
ISBN: 3486216821 Year: 1991 Publisher: München Oldenbourg

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Ergodic theory, symbolic dynamics, and hyperbolic spaces
Authors: --- ---
ISBN: 0198596855 9780198596851 Year: 1991 Publisher: Oxford Oxford University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Information theory, statistical decision functions, random processes : transactions of the 11th Prague Conference held from August 27 to 31, 1990
Author:
ISBN: 0792311205 Year: 1991 Publisher: Dordrecht Boston London Kluwer Academic Publishers

Loading...
Export citation

Choose an application

Bookmark

Abstract

Applied algebra, algebraic algorithms, and error-correcting codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 1991 : proceedings
Authors: ---
ISBN: 3540545220 0387545220 3540384367 Year: 1991 Volume: vol 539 Publisher: Berlin New York Springer-Verlag

Loading...
Export citation

Choose an application

Bookmark

Abstract

The AAECC conferences focus on the algebraic aspects of modern computer science, which includes the most up-to-date and advanced topics. The topic of error-correcting codes is one where theory and implementation are unifiedinto a subject both of mathematical beauty and of practical importance. Algebraic algorithms are not only interesting theoretically but also important in computer and communication engineering and many other fields. This volume contains the proceedings of the 9th AAECC conference, held in New Orleans, LA, in October 1991. Researchers from Europe, America, Japan and other regions of the world presented papers at the conference. The papers present new results of recent theoretical and application-oriented research in the field.

Keywords

Algebra --- -Algorithms --- -Error-correcting codes (Information theory) --- -681.3*E4 --- Codes, Error-correcting (Information theory) --- Error-detecting codes (Information theory) --- Forbidden-combination check (Information theory) --- Self-checking codes (Information theory) --- Artificial intelligence --- Automatic control --- Coding theory --- Information theory --- Algorism --- Arithmetic --- Mathematics --- Mathematical analysis --- Data processing --- -Congresses --- Congresses --- Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- Foundations --- Algorithms --- Error-correcting codes (Information theory) --- Congresses. --- 681.3*E4 Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- 681.3*E4 --- Data processing&delete& --- Error-correcting codes (Information theory) - Congresses. --- Algebra - Data processing - Congresses. --- Algorithms - Congresses. --- Algebra. --- Information theory. --- Coding theory. --- Combinatorics. --- Discrete Mathematics. --- Theory of Computation. --- Coding and Information Theory. --- Symbolic and Algebraic Manipulation. --- Data processing. --- Combinatorics --- Data compression (Telecommunication) --- Digital electronics --- Machine theory --- Signal theory (Telecommunication) --- Computer programming --- Communication theory --- Communication --- Cybernetics

Listing 1 - 10 of 160 << page
of 16
>>
Sort by